Logical Relation as Category